038a5aa8035856c4fada041861cf93e3b842c133,object-immutability/src/edu/rpi/reimutils/ConstraintGraph.java,ConstraintGraph,handleRunCallbacks,#Set#Set#Queue#,409
Before Change
if (t.getEnclosingMethod().getDeclaringClass().getType().equals(c.getLeft().getType())) {
processCallOpen(c.getLeft(),t,context, new AnnotatedValue.MethodAdaptValue(context,t));
System.out.println("Just created a new CALL OPEN, from "+c.getLeft()+" to "+t);
if (!processedMethods.contains(t.getEnclosingMethod())) {
processedMethods.add(t.getEnclosingMethod());
reachableMethods.add(t.getEnclosingMethod());
}
After Change
processCallOpen(c.getLeft(),t,context, new AnnotatedValue.MethodAdaptValue(context,t));
//if (c.toString().indexOf("SynPredBlock")>=0) System.out.println("Just created a new CALL OPEN due to CALLBACK:");
//if (c.toString().indexOf("SynPredBlock")>=0) System.out.println("------ from "+c.getLeft()+" to "+t);
if (!processedMethods.contains(t.getEnclosingMethod().toString())) {
processedMethods.add(t.getEnclosingMethod().toString());
reachableMethods.add(t.getEnclosingMethod());
}